graph theory:directed walk